علائم اختصارى اساس : اساس الاقتباس ، تصحيح استاد مدرس رضوى . از انتشارات دانشگاه تهران ، 1326 . اشارات : الاشارات و التنبيهات ، دفتر نشر كتاب ، چاپ دوم ، 1403 . دانشنامه : دانشنامهء علائى ، تصحيح دكتر محمد معين و سيد محمد مشكوة ، انجمن آثار ملى ، 1331 . درّه : درّة التاج ، تصحيح آقاى سيد محمد مشكوة ، چاپخانهء مجلس ، 1317 شفا : الشفاء ( المنطق ) . منشورات مكتبة آية الله العظمى المرعشى النجفى ( ج 1 و 2 و 3 و 4 ) . قم 1405 ه . ق . معيار العلم : معيار العلم ، تأليف غزالى ، تصحيح دكتر سليمان دنيا ، قاهره ، 1960 . منظومه : منظومهء حاج ملا هادى سبزوارى ، چاپ سنگى ، طهران ، 1298 . نجات : النجاة ، طبع محيى الدين صبرى كردى ، مصر 1938 .